BooleanMinimize

BooleanMinimize[expr] finds a minimal-length disjunctive normal form representation of expr.

BooleanMinimize[expr,form] finds a minimal-length representation for expr in the specified form.

BooleanMinimize[expr,form,cond] finds a minimal-length expression in the specified form that is equivalent to expr when cond is true.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.